1. Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings
پدیدآورنده: Workshop on Computer Science Logic, )4th, 0991, Heidelberg, Germany(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer science - Congresses,، Logic, Symbolic and mathematical - Congresses
رده :
QA
75
.
5
.
W624
1990

